We study the computational content of the Brouwer Fixed Point Theorem in the Weihrauch lattice. Connected choice is the operation that finds a point in a non-empty connected closed set given by negative information. One of our main results is that for any fixed dimension the Brouwer Fixed Point Theorem of that dimension is computably equivalent to connected choice of the Euclidean unit cube of the same dimension. Another main result is that connected choice is complete for dimension greater than (...) or equal to two in the sense that it is computably equivalent to Weak Kőnig’s Lemma. While we can present two independent proofs for dimension three and upward that are either based on a simple geometric construction or a combinatorial argument, the proof for dimension two is based on a more involved inverse limit construction. The connected choice operation in dimension one is known to be equivalent to the Intermediate Value Theorem; we prove that this problem is not idempotent in contrast to the case of dimension two and upward. We also prove that Lipschitz continuity with Lipschitz constants strictly larger than one does not simplify finding fixed points. Finally, we prove that finding a connectedness component of a closed subset of the Euclidean unit cube of any dimension greater than or equal to one is equivalent to Weak Kőnig’s Lemma. In order to describe these results, we introduce a representation of closed subsets of the unit cube by trees of rational complexes. (shrink)

Divided into eight sections, each with introductory essays, the selections offer rich and detailed insights into a diverse multinational philosophical landscape. Revealed in this pathbreaking work is the way in which traditional philosophical issues related to ethics, metaphysics, and epistemology, for instance, take on specific forms in Africa's postcolonial struggles. Much of its moral, political, and social philosophy is concerned with the turbulent processes of embracing modern identities while protecting ancient cultures.

Divided into eight sections, each with introductory essays, the selections offer rich and detailed insights into a diverse multinational philosophical landscape. Revealed in this pathbreaking work is the way in which traditional philosophical issues related to ethics, metaphysics, and epistemology, for instance, take on specific forms in Africa's postcolonial struggles. Much of its moral, political, and social philosophy is concerned with the turbulent processes of embracing modern identities while protecting ancient cultures.

This study examines the efficiency of tools for fighting software piracy in the conditional distributions of software piracy. Our paper examines software piracy in 99 countries over the period 1994–2010, using contemporary and non-contemporary quantile regressions. The intuition for modelling distributions contingent on existing levels of software piracy is that the effectiveness of tools against piracy may consistently decrease or increase simultaneously with the increasing levels of software piracy. Hence, blanket policies against software piracy are unlikely to succeed unless they (...) are contingent on initial levels of software piracy and tailored differently across countries with low, medium and high levels of software piracy. Our findings indicate that GDP per capita, research and development expenditure, main intellectual property laws, multilateral treaties, bilateral treaties, World Intellectual Property Organisation treaties, money supply and respect for the rule of law have negative effects on software piracy. Equitably distributed wealth reduces software piracy, and the tendency not to indulge in software piracy because of equitably distributed wealth increases with the increasing software piracy levels. Hence, the negative degree of responsiveness of software piracy to changes in income levels is an increasing function of software piracy. Moreover, the relationships between policy instruments and software piracy display various patterns: U-shape, Kuznets-shape, S-shape and negative thresholds. A negative threshold represents negative estimates with the increasing negative magnitude throughout the conditional distributions of software piracy. We also discuss the policy implications of our study. (shrink)

La contribution s’intéresse aux transitions institutionnelles dans la formation en travail social et aux effets de ces évolutions dans le rapport au travail des formateurs. Elle a pour objet de repérer les mouvements mais aussi les tensions, les difficultés, les transactions nécessaires pour (re) donner du sens à l’activité et construire de nouveaux repères professionnels entre travail prescrit, travail rêvé/idéalisé et réel du travail de formation. Des entretiens ont été conduits dans quatre établissements de formation d’une même région. L’analyse du (...) corpus a permis de mettre à jour quelques grandes problématiques qui traversent le monde des formateurs en travail social, en prise avec les évolutions du secteur. Les résultats donnent à comprendre les remaniements identitaires et les formes d’implication des acteurs. Ils montrent la nécessite de « faire collectif », de retrouver des marges d’action et assurer sa mission de façon plus éclairée et mieux soutenue. (shrink)

Cette contribution revient sur le dialogue qui s’est développé depuis dix ans entre des chercheurs en Études théâtrales et des chercheurs en Sound Studies dans le cadre de deux projets successifs. Après avoir rappelé le contexte dans lequel a été élaborée la présente réflexion, précisé ce que j’entends ici par Sound Studies et donné quelques informations sur les Études théâtrales, je montrerai comment la relation intense que les secondes ont entretenue avec les premières a contribué à l’élaboration d’une véritable réécriture (...) de l’histoire du théâtre et comment les théâtrologues ont pu, en s’appuyant sur leur bases disciplinaires propres, opposer des approches critiques au modèle des Sound Students. (shrink)

Cette contribution revient sur le dialogue qui s’est développé depuis dix ans entre des chercheurs en Études théâtrales et des chercheurs en Sound Studies dans le cadre de deux projets successifs. Après avoir rappelé le contexte dans lequel a été élaborée la présente réflexion, précisé ce que j’entends ici par Sound Studies et donné quelques informations sur les Études théâtrales, je montrerai comment la relation intense que les secondes ont entretenue avec les premières a contribué à l’élaboration d’une véritable réécriture (...) de l’histoire du théâtre et comment les théâtrologues ont pu, en s’appuyant sur leur bases disciplinaires propres, opposer des approches critiques au modèle des Sound Students. (shrink)

This is the first volume of a two-volume project whose aim is to publish all the known Middle English manuscript translations of the French Somme le mi, a thirteenth-century manual of religious instruction offering teaching on the Decalogue, the seven deadly sins and their remedies, compiled by the Dominican friar Laurent of Orleans. The project extends and deepens our knowledge of the influence of this popular French text, known today only from the versions entitled The Ayen bite of Inwit and (...) The Book of Vices and Virtues, published in 1866 and 1942, respectively. This volume presents the versions extant in BL MSS Royal 18. A. x and Add. 37677; the second will cover the versions in Cambridge, Corpus Christi College, MS 494, Oxford, Bodleian Library, MS Ashmole 1286, and Oxford, Bodleian Library, MS e Musaeo 23. The texts of both volumes have been prepared with the help of the recently-published edition of the French text, a circumstance from which the earlier English editions were unable to benefit. It is likely that the versions edited here for the first time will make a considerable contribution to our understanding of the processes of textual transmission and to that of translation itself in English literary circles of the fifteenth century. (shrink)

Levinas’ relationship to Platonism is ambiguous. In Totality and Infinity, indeed, references to Plato’s writings are multiple and Levinas depicts Plato as following two diverging paths. On the one hand, Levinas considers Plato’s writings to be works that consecrate the primacy of identity over difference, of the Same over the Other. On the other hand, Platonism is presented as a philosophy of absolute transcendence due to its refusal to make the Good a simple ontological principle and to its attempt to (...) free the Good from all forms of totality. The present study aims to show that, although Levinas criticizes the first path taken by Plato, he conceives of himself as partially in line with Plato’s philosophy of absolute transcendence, albeit in a paradoxical form. In this way, Levinas understands the meaning of the Platonic approach in an original way. (shrink)

Goffi and Roux are interested in what makes some thought experiments work, while others do not work. They do not attempt to draw an a priori line between two types of thought experiments, but rather ask the following question: inasmuch as thought experiments are arguments, and notwithstanding the fact that some of them might involve the contemplation of an imaginary scenario, how is it that some of them work, while others do not? Taking inspiration from a counterfactual thought experiment (...) presented by Nicholas Rescher, they treat thought experiments as argumentative procedures resembling tests of consistency, which invite the experimenter to seek the weakest link in her body of beliefs. Equipped with this method, they examine two well-known successful thought experiments (Galileo’s two bodies strapped together, and Thomson’s violinist) and discuss Mach’s notion of thought experiments. Thus they reach the hypothesis that successful thought experiments respect the three following conditions: they do not deal with things, but with beliefs; they mobilise a set of beliefs shared by the interlocutors; and this set of beliefs has a hierarchical structure. Using once again examples written at different periods and taken from various disciplines (Descartes’ receding bodies, Aristotle’s weaving shuttles), Goffi and Roux argue that each of those conditions is individually necessary for a thought experiment to work. They finally conclude on the limits and consequences of their approach. (shrink)

A biological function is supposed to be performed adequately, and hence may fail to do so: this is dysfunction. This raises two questions. One is how to make explicit the way in which function can be discriminated from dysfunction without confusing dysfunction with non-function. The second question is how what is “right” and “wrong” can be legitimated by natural regulatory norms. A function can be viewed as a quality to which at least one variable with a definite set of values (...) is associated. Accordingly, function and dysfunction are the same quality of the same trait, but differ in the values associated to this variable. Dysfunction occurs when the associated set of values does not match this normal state. Biological systems have the epistemic singularity that their existence is the consequence of two distinct causal regimes, the so-called “proximate” and “ultimate” causes, whose convergence defines a system’s prescriptive normality. Each cause imposes restrictive rules that limit the possible ways these systems can putatively exist. When a system is insensitive to ultimate cause, it is determined by proximate causation alone, and hence escapes its own prescriptive norms. In conclusion: The normality of a biological system is defined by the convergence of proximate and ultimate causes. A function is a variable-associated quality whose values are defined relative to the norms of the system. Dysfunction occurs when the set of values of the same variable does not match the normality of the system, which can occur when the system is insensitive to ultimate causation. (shrink)

The authors identify a pervasive tendency, especially in the world of development and humanitarian response, to hierarchize or prioritize certain types of victims of sexual violence in armed conflict over others. Within this broader context, they focus on what a considered feminist acknowledgement of male victims of conflict-related sexual violence should look like. On the one hand, they emphasize that one and the same patriarchal template is used to humiliate and shame male and female victims of sexual violence alike. On (...) the other, they urge that in light of the pervasiveness of patriarchal ideology and its harmful and wide-reaching social effects, the time is not yet ripe to endorse a gender-blind approach to CRSV. (shrink)

Dans cette étude, l’auteur veut montrer que le conflit, dans la Phénoménologie de l’esprit, ne se réduit pas à la confrontation des consciences de soi débouchant sur le rapport maître-esclave : en fait, le conflit apparaît, dans chaque section de la Phénoménologie de l’esprit, au moment correspondant à la conscience de soi. Ce sont ces différentes figures qui sont ici résumées. En conclusion, l’auteur suggère que la « philosophie de l’identité » de Schelling pourrait être la source principale de la (...) conception hégélienne du conflit.In this study, the author intends to show that in PhG, conflict is not just the confrontation of self-consciousness leading up to a master-slave relationship : in fact, conflict appears in each section of PhG at the time corresponding to self-consciousness. These different figures are summarized here. In conclusion, the author suggests that Schelling’s « identity philosophy » could be the main root of Hegelian conception of conflict. (shrink)

Roger Ariew's new book, Descartes and the First Cartesians, will not be a methodological surprise for those who already read his previous work, Descartes and the Last Scholastics, as well as its expanded version, Descartes Among the Scholastics. Right at the beginning of DAS, Ariew justified the title of this book in the following way: A philosophical system cannot be studied adequately apart from the intellectual context in which it is situated. Philosophers do not usually utter propositions in a vacuum, (...) but accept, modify or reject doctrines whose meaning and significance are given in a particular culture. Thus Cartesian philosophy should... (shrink)

Dans cet article, nous proposons d’examiner certains des usages qui sont faits de Descartes en sciences cognitives. Il s’agit plus précisément de s’attacher à la façon dont se trouve pensé l’héritage du cartésianisme dans la science cognitive orthodoxe, souvent conçue comme « cartésienne ». Comment en vient-on à former cette idée de science cognitive cartésienne? Nous répondons en nous appuyant sur deux analyses, celles de Timothy van Gelder et de Michael Wheeler, avec pour objectif de mettre au jour les aspects (...) de la philosophie de Descartes qui sont ici mobilisés, ainsi que les opérations intellectuelles et pratiques qui permettent à ces auteurs d’extraire le cartésianisme de son milieu originel pour le placer sur le terrain de la science cognitive contemporaine. (shrink)

On présente trois projets de théories des machines: la « mécanologie » de l’architecte Jacques Lafitte (1932), inspirée de l’évolution biologique; l’ «Analyse mécanique» de Louis Couffignal, spécialiste des machines à calculer (1938), qui préfigure l’analyse fonctionnelle; et la théorie algébrique des machines du mathématicien Jacques Riguet (début des années 1950). À cette période, les trois hommes sont membres du Cercle d’études cybernétiques. On s’intéresse au dialogue des projets, aux axes d’unification et de divergence, aux styles, aux stratégies et postulats (...) de ces trois candidats à la généralisation convergeant vers la référence constituée par la cybernétique. (shrink)

This book adds impetus to the nexus between human rights, human rights education and material reality. The dissonance between these aspects is of growing concern for most human rights educators in various social contexts. The first part of the book opens up new discourses and presents new ontologies and epistemologies from scholars in human rights, human rights education and human rights literacies to critique and/or justify the understandings of human rights' complex applications. Today's rapidly changing social contexts and new languages (...) attempting to understand ongoing dehumanization and violations, put enormous pressure on higher education, educators, individuals working in social sciences, policy makers and scholars engaged in curricula making. The second part demonstrates how global interactions between citizens from different countries with diverse understandings of human rights (from developed and developing democracies) question the link between human rights and it's in(ex)clusive Western philosophies. Continuing inhumane actions around the globe reflect the failure of human rights law and human rights education in schools, higher education and society at large. The book shows that human rights education is no longer a blueprint for understanding human rights and its universal or contextual values presented for multicomplexial societies. The final chapters argue for new ontologies and epistemologies of human rights, human rights education and human rights literacies to open-up difficult conversations and to give space to dissonant and disruptive discourses. The many opportunities for human rights education and literacies lies in these conversations. (shrink)

This article examines how chemists contributed to the technological reorganization in France at the end of the eighteenth century and the beginning of the nineteenth century, how they justified using potentially harmful or polluting processes by stating that this would contribute to national prosperity, and how the idea of improvement helped to legally and rhetorically build a production regime that disqualified traditional precautionary attitudes to certain artisanal and industrial processes. This resulted in the establishment of a new environmental governance regime (...) devoted to the advancement of chemistry and of industrial production. While this shift was clearly perceptible from the 1770s with the first regulatory exceptions for strategic products, the 1810 decree, which was imagined, designed, and implemented by chemists, perpetuated chemistry’s role as an environmental regulator. (shrink)

On présente trois projets de théories des machines: la « mécanologie » de l’architecte Jacques Lafitte (1932), inspirée de l’évolution biologique; l’ «Analyse mécanique» de Louis Couffignal, spécialiste des machines à calculer (1938), qui préfigure l’analyse fonctionnelle; et la théorie algébrique des machines du mathématicien Jacques Riguet (début des années 1950). À cette période, les trois hommes sont membres du Cercle d’études cybernétiques. On s’intéresse au dialogue des projets, aux axes d’unification et de divergence, aux styles, aux stratégies et postulats (...) de ces trois candidats à la généralisation convergeant vers la référence constituée par la cybernétique. (shrink)

À quelques exceptions près (dont la thèse de sociologie soutenue en 2012 par Guillaume Brie, à l’Université Paris Ouest Nanterre La Défense, Traitement social de la criminalité sexuelle pédophile. Rapports de pouvoir et lutte des représentations entre agents chargés du contrôle et condamnés), rares sont les auteur.e.s en sciences sociales à avoir interrogé les violences sexuelles sur mineurs. L’intensité des émotions qu’elles suscitent aujourd’hui rend tout propos distancié difficilement audi...

L’ouvrage que présente Alexandra Michalewski reprend et articule trois questions classiques dans les études plotiniennes. La première est celle des origines et des sources de la doctrine des Formes intelligibles dans la pensée de Plotin. Si cette doctrine puise dans la pensée platonicienne ses éléments principaux, elle ne peut pourtant s’expliquer entièrement par elle. Cette dernière a connu, en effet, de multiples remaniements et adaptations, elle a suscité de multiples débats, de sorte qu’e...

Cet article étudie le rapport particulier établi par Plotin entre deux notions, l’antilêpsis et la phantasia, pour penser la prise de conscience par l’âme de certains «objets» et de certaines activités. Car celle-ci pose un problème que Plotin a formulé clairement, à la fin du traité 10 (V, 1), sans lui trouver encore de solution absolument satisfaisante. Si l’antilêpsis a besoin de la phantasia pour s’exercer, peut-il en être de même pour les activités supérieures de l’âme dont elle voudrait prendre (...) conscience, puisque la phantasia se rattache à la sensation dont elle est issue? La question est alors de savoir si les réalités supérieures échappent à toute conscience ou si cette dernière peut les saisir, au moins sous la forme qui lui est propre. On cherchera ici à exposer les aspects principaux de ce problème, mais surtout, à partir de textes tirés des traités 27 (IV, 3) et 46 (I, 4), à saisir la solution que Plotin lui apporte. (shrink)

Cet article étudie le rapport particulier établi par Plotin entre deux notions, l’antilêpsis et la phantasia, pour penser la prise de conscience par l’âme de certains «objets» et de certaines activités. Car celle-ci pose un problème que Plotin a formulé clairement, à la fin du traité 10 (V, 1), sans lui trouver encore de solution absolument satisfaisante. Si l’antilêpsis a besoin de la phantasia pour s’exercer, peut-il en être de même pour les activités supérieures de l’âme dont elle voudrait prendre (...) conscience, puisque la phantasia se rattache à la sensation dont elle est issue? La question est alors de savoir si les réalités supérieures échappent à toute conscience ou si cette dernière peut les saisir, au moins sous la forme qui lui est propre. On cherchera ici à exposer les aspects principaux de ce problème, mais surtout, à partir de textes tirés des traités 27 (IV, 3) et 46 (I, 4), à saisir la solution que Plotin lui apporte. (shrink)

Pourquoi penser le néant? L’histoire de la philosophie offre bien des ressources pour tâcher de répondre. Celles qui nous retiendront mériteraient tout un livre. Nous nous contenterons d’explorer quelques textes pour tenter d’y surprendre une part des démêlés que Schelling et Hegel eurent avec le néant. Ainsi, l’on sera amené à déceler chez Hegel, dans sa Logique de l’être, une approche du néant débattant avec celle que Schelling proposa dans s...

In this paper, we employ Extended Cognition as a background for a series of thought experiments about privacy and common used information technology devices. Laptops and smart phones are now widely used devices, but current privacy standards do not adequately address the relationship between the owners of these devices and the information stored on them. Law enforcement treats laptops and smart phones are potential sources of information about criminal activity, but this treatment ignores the use of smart devices as extensions (...) of users’ cognitive capability. In Philosophy of Mind, Extended Cognition is a metaphysical theory about the relationship between consciousness or cognitive activity and various external tools or aids that agents employ in the service of cognition. Supporters of Extended Cognition argue that mental activity must be understood as taking place both within the brain and by way of tools such as a logician’s pen and paper, a mathematician’s calculator, or a writer’s word processing program. While Extended Cognition does not have universal support among philosophers of mind, the theory nevertheless describes how agents interact with their “smart devices.” We explore the the implications of taking Extended Cognition seriously with regard to privacy concerns by way of a series of thought experiments. By comparing the differences in expectations of privacy between a citizen and the government, between an employee of a corporate firm, and between citizens alone, we show that expectations of privacy and injury are significantly affected by taking the cognitive role of smart devices into account. (shrink)

La question du statut du corps dans la pensée de Plotin, et plus généralement dans l’Antiquité tardive, a donné lieu à des interprétations divergentes voire opposées. On a pu relever la présence d’un mépris ou d’une haine du corps, mais on a aussi montré que ce n’est pas tant le corps en tant que tel qui fait l’objet de critiques que l’attitude de soumission de l’âme à son égard. Ce débat peut, selon nous, être renouvelé si l’on prend en compte, (...) dans le cas de Plotin, certaines analyses originales présentes dans son œuvre. Ces dernières ne se contentent pas de s’interroger sur l’usage correct du corps par l’âme, elles font dépendre l’apparition des corps du schéma général de la procession, mais surtout elles cherchent à donner une justification de leur existence en montrant que celle-ci est nécessaire pour les réalités mêmes qui leur sont supérieures (les réalités intelligibles). C’est la raison pour laquelle Plotin introduit, notamment dans le traité 37 (II 7), une notion particulièrement originale, celle de corporéité (σωματότης), qui contribue à changer la manière dont se pose le problème de la valeur du corps. (shrink)

The History of scepticism from Erasmus to Spinoza is often called upon to support three theses: first, that Descartes had a dogmatic notion of systematic knowledge, and therefore of physics; second, that the hypothetical epistemology of physics which spread during the xviith century was the result of a general sceptical crisis; third, that this epistemology was more successful in England than in France. I reject these three theses: I point first to the tension in Descartes’ works between the ideal of (...) a completely certain science and a physics replete with hypotheses; further, I argue that the use of hypotheses by mechanical philosophers cannot be separated from their conception of physics; finally I show that, at the end of the xviith century, physicists in France as well as in England spoke through hypotheses and I examine different ways of explaining this shared practice. Richard H. Popkin’s book serves therefore as a starting point for insights into the general problem: to what extent and for what reasons some propositions in physics have been presented as hypotheses in the xviith century? (shrink)

On sait peu de choses d’Edme Mariotte, membre de l’Académie royale des sciences de 1668 à 1684. Une analyse de son Essai de logique montre cependant que, pour défendre ses pratiques expérimentales, il s’appropria des bribes venues de différentes traditions intellectuelles. Ainsi, ce livre examine ce qu’on entendait par « méthode » à la fin du XVIIe siècle, les épistémologies de la physique qui s’affrontaient alors, quelques débats ouverts par la gestion de l’héritage cartésien. Mais l’essentiel sera peut-être la question (...) suivante : comment reconstituer les idées d’un savant ordinaire, qui n’a ni bouleversé l’ordre des sciences, ni montré une perspicacité épistémologique exceptionnelle ? (shrink)

Dans cet article, nous proposons d’examiner certains des usages qui sont faits de Descartes en sciences cognitives. Il s’agit plus précisément de s’attacher à la façon dont se trouve pensé l’héritage du cartésianisme dans la science cognitive orthodoxe, souvent conçue comme « cartésienne ». Comment en vient-on à former cette idée de science cognitive cartésienne? Nous répondons en nous appuyant sur deux analyses, celles de Timothy van Gelder et de Michael Wheeler, avec pour objectif de mettre au jour les aspects (...) de la philosophie de Descartes qui sont ici mobilisés, ainsi que les opérations intellectuelles et pratiques qui permettent à ces auteurs d’extraire le cartésianisme de son milieu originel pour le placer sur le terrain de la science cognitive contemporaine. (shrink)

On se propose de démontrer que les recherches d’Eschenmayer ont joué un rôle déterminant dans l’émergence puis l’émancipation de la Naturphilosophie de Schelling, et cela même sous deux rapports: d’une part, sur la question de l’importance et de la place de l’étude de la nature dans le système entier de la philosophie; et d’autre part, sur des questions internes à cette étude. Si les travaux d’Eschenmayer ont en effet stimulé ceux de Schelling en ce domaine, ce que manifestent les Ideen (...) de 1797, ils ont aussi progressivement fait mûrir des écarts, comme en témoigne l’article Sur le vrai concept d’une philosophie de la nature de 1801. Pour l’établir, je mets d’abord en évidence la manière différente dont chacun définit son projet de philosophie de la nature. Je montre ensuite qu’ils se nourrissent différemment aussi de la philosophie transcendantale dans leur étude philosophique de la nature. Puis, dans l’explication des différences qualitatives de la matière concrète, je montre comment Schelling s’écarte d’Eschenmayer. Enfin, j’indique la conséquence et l’horizon de toutes ces différences, à savoir cette idée, proprement schellingienne, que la nature doit à elle-même sa productivité, que sa philosophie est donc indépendante – toutes choses qu’Eschenmayer récuse. (shrink)

L'histoire des sciences suffit à réfuter la thèse de la mathématisation impossible, selon laquelle la mathématisation procéderait d'un formalisme abstrait manquant les choses mêmes ou la spécificité d'un domaine d'objets. Cette histoire montre en effet qu'on n'a pas cessé de mathématiser des choses dont il avait été longtemps dit qu'elles devaient, étant donné leur nature, éternellement résister à la mathématisation. À la thèse de la mathématisation impossible, il est dès lors tentant d'opposer la thèse de la mathématisation inéluctable, selon laquelle (...) une science bien formulée est une science mathématiquement constituée. Cette dernière thèse est cependant souvent associée à l'idée que l'introduction des mathématiques dans une discipline constituerait un processus qui ne présenterait aucune difficulté et qui ne serait suivie d'aucune perte. Contre cette idée, les articles rassemblés dans ce volume ont voulu, comme le titre de ce dernier l'indique, restituer à la mathématisation son caractère problématique. La méthode adoptée dans ce volume est résolument empirique : il s'appuie non pas sur des réflexions a priori sur ce que seraient les objets mathématiques, mais sur des études de cas empruntées à différentes périodes de l'histoire et à différentes sciences. Le pari a été fait que ces différentes rubriques pourraient être articulées les uns aux autres dans trois parties qui ont respectivement pour titres "Les exigences de la mesure : la quantification", "La formalisation : la puissance des formes symboliques", et "La modélisation, une nouvelle forme de mathématisation?" Assurément, une tendance historiographique générale de ces trente dernières années a consisté à privilégier les études de cas locales et singulières, ce qui nous a permis de prendre congé du style épique, qui néglige les détails de l'histoire. Cependant, l'espèce de nominalisme qui en résulte tourne rapidement court, si l'on en reste à ces études de cas singulières. Ce volume repose donc sur un pari : essayer d'articuler différentes études de cas de manière à dégager certaines formes de la mathématisation. Que ce pari ait été gagné ou perdu, ce sera au lecteur d'en juger. (shrink)

Les progrès de la physique et l’essor des sciences cognitives dans la seconde moitié du XXe siècle ont remis au centre de la réflexion philosophique la question de la nature du mental et de sa relation avec le physique : et si Descartes s’était trompé en distinguant radicalement l’esprit et le corps? Si nos croyances, nos désirs, nos douleurs, nos craintes, nos espoirs, et plus généralement l’ensemble de notre vie mentale, n’étaient rien de plus que des processus physiques-cérébraux? Cela n’aurait-il (...) pas en outre l’avantage de résoudre le problème des rapports entre corps et esprit, en levant définitivement les difficultés associées au « dualisme » cartésien? L’abandon du dualisme des substances n’a pourtant pas suffi à supprimer le problème corps-esprit, qui continue d’alimenter aujourd’hui les plus vigoureux débats. Bien que le contexte des réflexions actuelles soit différent de celui de l’âge classique, la référence à Descartes est constante et sert une formulation plus précise des défis que la philosophie de l’esprit et les sciences cognitives contemporaines se doivent de surmonter. Comment l’expliquer et quel rôle l’histoire de la philosophie a-t-elle ici à jouer? (shrink)

In the history of the scientific revolution, Descartes is often considered as the mechanical philosopher par excellence, and opposed as such to the founder of mechanical science, that is to say, Galileo: this cliché is not without foundation, but it must not make us forget that Descartes was himself a practitioner of mechanical science. In the article "Cartesian Mechanics" I detail the meaning and reach of "mechanics" in the Cartesian corpus, and do so in three steps. 1. I begin by (...) explaining the genesis of the thesis which states that there is no difference between the physical and the mechanical; this thesis is so famous that it is often imagined that it is constituted in Descartes's first writings. But we can in fact show that the first works of Descartes and Beeckman arise from a "physico-mathematical" practice which does not necessarily imply a complete reworking of traditional physics, even if it might have favored the Cartesian ambition for a physics as certain as geometry; it was only in the late 1630s that Descartes began to systematically affirm the identity of physics and mechanics, or of "rules of motion", of "laws of Nature" and of "laws of mechanics". I then analyze the consequences of this affirmation. 2. In the second part of this article I provide a step-by-step commentary of the response proposed by Descartes in a letter to Mersenne in July 1638 to the question raised by Beaugrand's Geostatice (...) dissertatio mathematica (1636), that is to say the question of whether a body weighs more when it is farther from the center of Earth than when it is close. Compared with other texts of the Cartesian corpus, this sample of mechanics has been little analyzed (to my knowledge, the only analyses are those of P. Duhem, P. Costabel, A. Gabbey and D. Garber). This text is nonetheless extremely interesting: Descartes responds to the geostatic question in turn in terms of physics, then mathematics; even more interesting, the examination of the details of his procedures allows us to confront Cartesian statics to other writings, whether those of Guidobaldo del Monte, Galileo, Stevin, Mersenne or Roberval. 3. In the third and final section, I analyze the reasons that lead Descartes to exclude velocity from his statics, I examine the difficulties that his explanation of gravity created for statics, and conclude with the confrontation between mechanical philosophy and mechanical science in the case of Descartes. (shrink)

Simondon’s thinking of individuation is not directly concerned with any political application. Yet, through notions such as metastability, associated environment, centrality, or even ethics, the philosopher opens up pathways for a fresh examination of the processes of social transformation and the question of living together. Simondon ’s writings, which complement John Dewey s approach to the public, allow us to understand the political positively, as reflexive experimentation with the transindividuality of shared beings.

The mechanical (or corpuscular philosophy) has been well-established as a historiographical category for some years now. While it certainly began as an actor’s category, it has slipped into being something else, a kind of broad catch-all category that is taken to include most of those who opposed the Aristotelian philosophy of the schools throughout the entire seventeenth century, part of a broad master narrative about the demise of the scholastic Aristotelian philosophy of the schools and the rise of modern mathematical (...) and experimental science, the titanic intellectual clash that gave birth to modernity. (shrink)

On range généralement la pensée de Malebranche parmi celles qui incarnent ce moment de l'histoire de la philosophie qu'on nomme "rationalisme". En prenant son départ dans l'interprétation que Schelling a produite de la "Vision en Dieu", cet ouvrage se propose de l'aborder plutôt comme un idéalisme issu du dogmatisme et enclin à suspendre l'existence des corps : pour avoir élargi le cercle de la pensée humaine aux dimensions du cercle de l'idée divine, Malebranche ferait dépendre la perception sensible de l'action (...) de Dieu seul, anticipant par-là la pensée de Berkeley. Sans doute une telle lecture dépend-elle de la manière dont Schelling a lui-même renouvelé l'idéalisme ; sans doute est-elle aussi tributaire d'une certaine réception de Malebranche. Pour autant, du point de vue qui fut celui de Malebranche, elle mérite qu'on la mette à l'épreuve de ses textes et de ses intentions. Aussi, après avoir montré comment Schelling se place devant Malebranche, on le fait comparaître devant ce que Malebranche pourrait lui opposer. Il apparaît alors que ce dernier s'attache à desserrer l'étreinte que le cercle de l'idée exerce sur son système : en faisant le pari de prouver l'existence d'un monde résolument distinct du monde intelligible, Malebranche oeuvre en effet pour un idéalisme ouvert au réalisme sans jamais renoncer à la "Vision en Dieu"."--Page 4 of cover. (shrink)

I begin by briefly recalling two facts of seventeenth century intellectual history: not only is a fourth part devoted to method added to the three parts traditionally contained in logic treatises, but in a number of texts the terms "logic" and "method" are blurred. I then give an explanation of these two facts with the following ideas: 1/ Since the criticism of Aristotelian sciences at the beginning of the seventeenth century was in particular focused on logic, the question was asked (...) as to what could replace or supplement it. 2/ Although method was very generally supposed to fulfil this function, its objectives were not clear. I propose a distinction between four ideas of method, which I call method-disposition, method-demonstration, method-invention and method-purification. 3/ The blurring between logic and method comes partly from the fact that some of these ideas take up elements of the then existant logic, but, in a context marked by the reception of Descartes's work, we must also take into account the fact that, since Descartes had not composed a logic and since he had not really explain what his method was, his successors were looking for what both might have been. (shrink)

Les statuts de métiers du XIIIe siècle, la grande Ordonnance de Jean le Bon (1350) et le statut des lingères (1485) jalonnent ce parcours de l'histoire des Parisiennes qui gagnent leur vie dans l'atelier et la boutique à l'époque médiévale. Le travail féminin est reconnu, il doit obéir aux mêmes règles que le travail masculin. Il s'exerce dans quelques métiers uniquement féminins, et dans des métiers où hommes et femmes travaillent ensemble. La recherche ne permet pas encore de dire si, (...) au cours de ces trois siècles, cet espace de liberté par le travail pour les femmes, s'est consolidé, agrandi ou s'il s'est restreint. (shrink)

Les statuts de métiers du XIIIe siècle, la grande Ordonnance de Jean le Bon (1350) et le statut des lingères (1485) jalonnent ce parcours de l'histoire des Parisiennes qui gagnent leur vie dans l'atelier et la boutique à l'époque médiévale. Le travail féminin est reconnu, il doit obéir aux mêmes règles que le travail masculin. Il s'exerce dans quelques métiers uniquement féminins, et dans des métiers où hommes et femmes travaillent ensemble. La recherche ne permet pas encore de dire si, (...) au cours de ces trois siècles, cet espace de liberté par le travail pour les femmes, s'est consolidé, agrandi ou s'il s'est restreint. (shrink)

La Philosophie de la Révélation propose une véritable philosophie de la fonction diabolique. Le diable est le principe des religions païennes en même temps que celui du mal . Cette double fonction donne la mesure de l’Erhabenheit du diable, sa « majesté », qui traduit l’idée du mot grec kyriotès, de souveraineté. Cette analyse s’oppose aux représentations qui manquent le principe de la majesté diabolique. Négativement, le diable n’est ni une créature ni un principe éternellement mauvais. Positivement, Schelling repense en (...) termes philosophiques, par sa théorie des Potenzen divines, les interprétations traditionnelles non spéculatives : le diable ne diffère pas de la première puissance réactivée par l’homme alors même qu’elle devait se reposer en lui ; c’est conformément à l’essence de cette puissance, qui est ce qui ne doit pas mais peut être manifeste, qu’il ravage l’homme. Pour jouir d’une existence usurpée, le diable ne peut qu’user du soupçon, du mensonge et de la jalousie, vouloir tenter et perdre l’homme. Cette nécessité en fait l’outil paradoxal de la révélation.In Philosophy of Revelation, Schelling suggests a true philosophy of the diabolical function. The devil is the principle of pagan religions as well as of evil . Such a twofold function gives measure of the devil’s Erhabenheit, i.e. the devil’s majesty which indeed well translates the idea intrinsic of the term kyriotès, i.e. the idea of sovereignty. Shelling’s analysis is critical against representations which seem quite apart from the diabolical principle and its majesty. Negatively, the devil is no more a creature than an eternally evil principle. Positively, Schelling recaptures through philosophical terms according to his theory of divine Potenzen non speculative tradition : the devil is in no way different from the first power reactivated by man when in fact it were to rest in him ; thus does he play havoc with man in a manner identical to the essence of this latter power which is what should not but may be manifest. In order to enjoy a so-called usurped existence, the devil can but use suspicion, lies and jealousy, the only stake is to tempt and mislay man. It is such a necessity which turns him into the paradoxical tool of revelation. (shrink)

Mes réflexions sur Meyerson et les mathématiques ont pour origine trois questions : 1) Une idée reçue est que, des trois synthèses de Meyerson -- Identité et réalité, De l'explication dans les sciences et Du cheminement de la pensée -- , seule la dernière analyse les mathématiques, en elles-mêmes aussi bien que dans leurs rapports avec la pensée. La première question est donc de déterminer si cette idée reçue est correcte ou bien si l'on peut trouver dans les deux autres (...) ouvrages des indications significatives sur le statut des mathématiques et sur leur fonction dans une théorie de la connaissance. 2) La deuxième question consiste à examiner une autre idée reçue, cautionnée cette fois par Meyerson. À plusieurs reprises, ce dernier a déclaré qu'il avait répété la même chose dans tous ses ouvrages : les outils conceptuels seraient restés identiques, mais appliqués à des objets ou dans des domaines divers, de la physique quantique à la pensée primitive. Il s'agit dans ce cas de savoir si cette déclaration est fondée, ou bien plutôt si l'on doit, par-delà l'identité des termes, souligner l'existence de différences de signification ou d'application telles que l'identité des outils conceptuels en devient problématique. 3) Meyerson s'est trouvé confronté à un ensemble d'épistémologues que, reprenant une expression de Léon Brunschvicg, il qualifie d'idéalistes mathématiques, d'un côté l'école de Marbourg avec Ernst Cassirer, Paul Natorp et Hermann Cohen, de l'autre, Gaston Milhaud, mais surtout Brunschvicg lui-même . S'il s'avère qu'il y a des thèses sur les mathématiques ailleurs que dans Du cheminement de la pensée, et qu'il y a certains infléchissements d'un lieu à l'autre de son œuvre, on peut se demander dans quelle mesure les critiques adressées à l'idéalisme mathématique ont évolué. Dans cet article, j'analyse les trois synthèses de Meyerson avec ces trois questions en arrière-plan : je ne les examine pas explicitement l'une après l'autre, ni a fortiori dans un ordre prédéterminé, mais plutôt de biais et au fur et à mesure qu'elles interviennent. (shrink)

De la vie de cette grande figure juive que fut Moïse Maïmonide (1138-1204), on connaît peu de choses. Mais on sait que son siècle fut marqué par les persécutions et l'exil de son peuple, entraînant l'oubli de la tradition et plongeant ainsi les siens, particulièrement les savants, dans ce que le penseur diagnostiqua comme une douloureuse perplexité. Comment retrouver une sagesse perdue quand on en a un besoin vital? Comment concilier la Torah avec le savoir philosophique d'alors? Telles furent les (...) questions de Maïmonide, traitées dans le Mishné Torah et le célèbre Guide des perplexes (ou des égarés), autour desquels s'organise ce passionnant essai qui enracine la pensée du philosophe et médecin dans ce dont elle est née et à quoi il chercha une voie de guérison. Maïmonide entreprit de pacifier le rapport au savoir plutôt que d'apporter une réponse à des problèmes métaphysiques. C'est en cela qu'il résonne encore aujourd'hui. (shrink)

Dans la dernière philosophie de Schelling, l'être occupe partout le pôle primordial du fondement, de la matière, du pouvoir-être. Il est la puissance par excellence, à la fois voué par sa nature à être en mal d'existence et destiné par l'ordre divin des puissances à ne pas exister pour lui-même. C'est la raison pour laquelle l'être est l'élément par où commence et passe tout le drame de l'existence divine dans la création. C'est dans cette perspective que Schelling assume la figure (...) christologique. Réactivé sans la volonté du Père, l'être concentre la colère du Père; suscitée sans la volonté du Père, la puissance médiatrice s'approprie la seigneurie divine: en proie au déchaînement de l'être, la seconde des puissances s'adonne à une lutte acharnée contre la colère divine. Le paganisme est ce face-à-face, où ne joue plus la force conciliatrice. Le repos des puissances ne peut donc venir que du Fils; il faut que la seconde puissance décide de réintégrer le vouloir de l'être et son propre vouloir à la volonté divine: acteur de cette décision-là, le Fils devient le Christ; la seigneurie est redonnée au Père, la colère de l'être s'apaise. In the last philosophy of Schelling, the being everywhere occupies the primordial pole of the foundation, of the matter. One is the strength par excellence, at the same time doomed by its nature to desiring the existence and destined by the divine order for not existing for itself. It is the reason why the being is the element by where starts and channels all the drama of the divine existence in the creation. It is in this perspective that Schelling takes on the Christ figure. Reactivated without the Father's will, the being focuses the Father's anger; aroused without the Father's will, the mediating strength appropriates the divine Lord's domain: prey to the fury of the being, the second strength devotes to a force battle against the divine anger. The paganism is this confrontation in which the conciliating power no longer acts. The strenghts' rest only can come from the Son; the second strength has to restore the will of the being and his own will to the divine will: subject of this decision, the Son becomes the Christ; the Lord's domain is given back to the Father, and the anger of being is appeased. (shrink)

Résumé Cet article se propose de préciser la portée exacte de la critique sellarsienne du mythe du donné quant aux rapports entre science et perception, et ce à la lumière d’une confrontation avec la phénoménologie et, plus précisément, avec la manière dont Merleau-Ponty traite de leurs relations. Si Sellars nie bien dans Empirisme et philosophie de l’esprit que la perception puisse jouer aucun rôle fondationnel pour la science, s’il semble dans certains textes penser que la science doit se constituer indépendamment (...) de toute référence à l’expérience perceptuelle, apparaît pourtant dans sa philosophie l’idée d’une référence du langage – et donc du langage scientifique – au perçu, constitué pour lui de sensations. Or cette idée, si elle ne prend dans sa philosophie qu’une place relativement marginale, nous semble pourtant fondamentale pour y assurer le lien de la science au réel, et rendre possible par là même la résolution d’un problème qui constitua l’un des fils rouges de la pensée sellarsienne : l’intégration de la nature qualitative de l’expérience dans la science moderne. (shrink)

Although the tension which Christianity, in continuance with the Sache Jesu, first displayed with its surrounding culture, gradually conformed to the predominate culture of the ancient Mediterranean world, probably to avoid further conflict, it seems that the author of 1 Peter, despite my preference for a later dating, was set on maintaining this tension. 1 Peter employs a 'revolutionary subordination'. When the author of 1 Peter urges wives to be submissive or slaves to obey their masters, he is not perpetuating (...) normative conservatism. Rather, wives and slaves as followers of Christ were to subvert injustice the same way Jesus did. Wives therefore do not submit to their non-believing husbands because they buy in to society's evaluation of them as inferior to their male counterparts. Rather, wives can submit to their non-believing husbands because they are triumphant in Christ and therefore emancipated moral agents, who may win over their non-believing husbands by their moral and godly conduct. (shrink)

To be usable in practice, interactive theorem provers need to provide convenient and efficient means of writing expressions, definitions, and proofs. This involves inferring information that is often left implicit in an ordinary mathematical text, and resolving ambiguities in mathematical expressions. We refer to the process of passing from a quasi-formal and partially-specified expression to a completely precise formal one as elaboration. We describe an elaboration algorithm for dependent type theory that has been implemented in the Lean theorem prover. Lean’s (...) elaborator supports higher-order unification, type class inference, ad hoc overloading, insertion of coercions, the use of tactics, and the computational reduction of terms. The interactions between these components are subtle and complex, and the elaboration algorithm has been carefully designed to balance efficiency and usability. We describe the central design goals, and the means by which they are achieved. (shrink)